#ifndef BALANCE_H
#define BALANCE_H

#include "info/cktinfo.h"

class Balance : public CktInfo
{
   bool collectAND( unsigned n , vec<AigLit> & fin);

   vec<uint8_t>   _polar;
   public :
   Balance();

   void init();
   void run();
   void run( unsigned target , vec<AigLit> & pool );
};

#endif
